Potential Course Projects Course Projects 2. Model Checking Using Interpolation *
نویسندگان
چکیده
Course projects may be theoretical or experimental. Ideally, in keeping with the nature of this field, projects will develop or apply theoretical ideas to solve practically relevant problems. We welcome and encourage suggestions from students for projects. Projects can be broadly classified as being concerned with verification problems or the application of verification tools to solve problems in other areas. Below we list a few project topics. Some of them are by now taken by some student; those are marked with an asterisk∗.
منابع مشابه
Designing a Multi-Objective Mathematical Model Using Intuitionistic Fuzzy Approach to Select Investment Projects (Case of Investment Opportunities in Bushehr Province)
Strategic development goals is achieved by investment potential utilization of each region. Some of these goals may be inconsistent. Therefore, Governments want to align a combination of different investment objectives and sometimes contradictory as far as possible. This study aimed to explain the mathematical model for investment projects by providing an integer linear programming model with t...
متن کاملExploiting MindStorms NXT: Mapping and Localization Projects for the AI Course
This paper describes two major student projects for the artificial intelligence course – Mapping using Bayesian filter and Monte Carlo Localization. These projects are also suitable for a course focusing on autonomous mobile robotics. Implemented using the new Lego MindStorms NXT platform, a major improvement over the previous RCX platform, these projects are part of the LMICSE web site, a larg...
متن کاملExploring mobile learning success factors
This paper is a comparative account and analysis of three mobile Web 2.0 projects instigated within a tertiary learning environment during 2008. Following the successful instigation of a mobile Web 2.0 project in the third year of a Bachelor of Product Design course during semester one, similar projects were initiated in semester two within the first-year and second-year Bachelor of Product Des...
متن کاملProject Manager Competency Model based on ANP Method in Construction Projects
Most developed countries have already accepted‘’ Competency’’ as the major factor in making management more competitive, therefore they have discovered the importance of Qualification Models and their application to cause human resources growth. Consequently, their aim is to improve the qualification of their human resources, and to reach this end, considering different ways of assessing compet...
متن کاملCourse Remodeling by Integration of Project-based Education with L2L Principles for Enhanced Student Learning Experience
We present here a general methodology for recasting traditional lecture-type courses into a new educational paradigm that assimilates project-based approach and learning to learn (L2L) principles. The six steps of this methodology are: i) Planning and reorganization of the course delivery pattern using intuitively exciting mini-projects, new or properly reworded old ones, for top-down execution...
متن کامل